\documentclass{article}
\usepackage{amssymb,amsmath,amscd,concmath}
\pagestyle{empty}
\begin{document}
\begin{equation*}(x)(z)
   {Px \supset (y) \sqrt{Ky}}\end{equation*}
\end{document}
